Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

D. Miller has been selected to be the LICS General Chair for three years starting in July 2018.

Member of the Organizing Committees

Lutz Straßburger was member of the organizing committee for the second FISP meeting in Paris

Scientific Events Selection

Chair of Conference Program Committees

D. Miller was the Program Committee chair for the FSCD’17: Second International Conference on Formal Structures for Computation and Deduction, Oxford, 3-6 September.

D. Miller was on the Steering Committee for the FSCD series of International Conference on Formal Structures for Computation and Deduction.

D. Miller was a member of the jury for selecting the 2017 Ackermann Award (the EACSL award for outstanding doctoral dissertation in the field of Logic in Computer Science).

D. Miller was a member of the 2012, 2016, and 2017 Herbrand Award Committee of the Association for Automated Reasoning.

D. Miller is also a member of the SIGLOG advisory board, starting November 2015.

B. Accattoli was one of the two Program Committee chairs of the 6th International Workshop on Confluence (IWC 2017).

K. Chaudhuri as a co-chair of the Program Committee for the workshop on Structures and Deduction, co-located with FSCD.

Member of the Conference Program Committees

D. Miller was on the Program Committee of the following international conferences.

• 26th International Conference on Automated Deduction, Gothenburg, Sweden, 6-11 August.

B. Accattoli was on the Program Committee of the following international workshops.

• LOLA 2017: Syntax and Semantics of Low-Level Languages, Reykjavik, Iceland, 19 June.

• WPTE 2017: 4th Workshop on Rewriting Techniques for Program Transformations and Evaluation, Oxford, UK, 8 September.

• DICE-FOPARA 2017: 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, Uppsala, Sweden, 22–23 April.

S. Graham-Lengrand was on the Program Committee of the following international workshops.

• AFM 2017: Automated Formal Methods, Menlo Park, USA, 19 May.

• PxTP 2017: 5th Workshop on Proof eXchange for Theorem Proving, Brasilia, Brazil, 4 September.

K. Chaudhuri was on the Program Committee of the following international workshops.

• LFMTP 2017: Logical Frameworks and Meta-languages: Theory and Practice, Oxford, U.K.

• LSFA 2017: Logical and Semantic Frameworks with Applications, Brasilia, Brazil

G. Scherer was on the Program Committee of the following international conference.

• Trends in Functional Programming, University of Kent at Canterbury, UK, 19-21 June.

Reviewer

• Lutz Straßburger reviewed submissions for the following conferences: LICS 2017, LPAR-21, FoSSaCS 2018, LFCS 2018

• B. Accattoli was a reviewer for the international conferences LICS 2017 (twice) and FSCD 2017.

• F. Lamarche was reviewer for CSL 2017.

• S. Graham-Lengrand was a reviewer for the international conferences LICS 2017 (three times), CADE 2017, AFM 2017, CSL 2017, TYPES 2017, PxTP 2017, FOSSACS 2018.

• G. Scherer reviewed submissions for the following conferences: JFLA 2018, FoSSaCS 2018, as well as for the PriSC 2018 (Principle of Secure Compilation) workshop.

Journal

Member of the Editorial Boards

D. Miller is on the editorial board of the following journals: ACM Transactions on Computational Logic, Journal of Automated Reasoning (Springer), and Journal of Applied Logic (Elsevier).

K. Chaudhuri served as a guest editor for a special issue of Mathematical Structures of Computer Science devoted to Logical Frameworks.

Reviewer - Reviewing Activities

• Lutz Straßburger did reviewing work for the following journals: Journal of Applied Logic (JAL), Studia Logica, Mathematical Structures in Computer Science (MSCS), Logical Methods in Computer Science (LMCS), Journal of Logic and Computation (JLC), Journal of Automated Reasoning (JAR).

• B. Accattoli was a reviewer for the international journals Transactions on Computational Logic (TOCL, ACM), Mathematical Structures in Computer Science (MSCS, Cambridge University Press), Logical Methods in Computer Science (LMCS), Journal of Automated Reasoning (JAR, Springer), Annals of Pure and Applied Logic (APAL, Elsevier).

• S. Graham-Lengrand was a reviewer for the following international journals: Theory of Computing Systems (TOCS), Annals of Pure and Applied Logic (APAL), Mathematical Structures in Computer Science (MSCS), Logical Methods in Computer Science (LMCS), Journal of Automated Reasoning (JAR), Bulletin of Symbolic Logic (BSL).

• G. Scherer was a reviewer for the international journal Mathematical Structures in Computer Science (MSCS).

Invited Talks

• D. Miller gave invited talks at the following two regularly held international meetings.

  • LAP 2017: Sixth Conference on Logic and Applications, 18-22 September 2018, Dubrovnik, Croatia.

  • PADL 2017: Nineteenth International Symposium on Practical Aspects of Declarative Languages, 16-17 January 2017, Paris.

• Lutz Straßburger gave an invited talk at the 4th International Workshop on Structures and Deduction (SD 2017), affiliated with FSCD'17.

• B. Accattoli gave an invited talk at LSFA 2017, the 12th Workshop on Logical and Semantic Frameworks with Applications, Brasilia, Brazil, 23-24 September.

• S. Graham-Lengrand gave an invited talk at CSLI 2017, the 6th CSLI Workshop on Logic, Rationality & Intelligent Interaction, University of Stanford, Palo Alto, USA, 3-4 June.

Research Administration

• L. Straßburger serves on the “commission développement technologique (CDT)” for Inria Saclay–Île-de-France (since June 2012).

• F. Lamarche was “responsable de centre” Saclay – Ile de France for Raweb.